|
In mathematical analysis, a strong measure zero set〔 is a subset ''A'' of the real line with the following property: :for every sequence (ε''n'') of positive reals there exists a sequence (''In'') of intervals such that |''I''''n''| < ε''n'' for all ''n'' and ''A'' is contained in the union of the ''I''''n''. (Here |''I''''n''| denotes the length of the interval ''I''''n''.) Every countable set is a strong measure set, and so is every union of countably many strong measure zero sets. Every strong measure zero set has Lebesgue measure 0. The Cantor set is an example of an uncountable set of Lebesgue measure 0 which is not of strong measure zero. Borel's conjecture〔E. Borel, Sur la classification des ensembles de mesure nulle, ''Bull. Soc. Math. France'' 47 (1919), 97–125.〕 states that every strong measure zero set is countable. It is now known that this statement is independent of ZFC (the Zermelo–Fraenkel axioms of set theory, which is the standard axiom system assumed in mathematics). This means that Borel's conjecture can neither be proven nor disproven in ZFC (assuming ZFC is consistent). Sierpiński proved in 1928 that the continuum hypothesis (which is now also known to be independent of ZFC) implies the existence of uncountable strong measure zero sets.〔W. Sierpiński, "Sur un ensemble non denombrable, dont toute image continue est de mesure nulle", ''Fundamenta Mathematicae'' 11 (1928), 302–304〕 In 1976 Laver used a method of forcing to construct a model of ZFC in which Borel's conjecture holds.〔R. Laver: On the consistency of Borel's conjecture, ''Acta Math.'', 137(1976), 151–169.〕 These two results together establish the independence of Borel's conjecture. It is known that if ''A'' ⊆ R has Lebesgue measure zero and ''M'' ⊆ R is a meagre set, then ''A'' + ''M'' ≠ R. The following characterization of strong measure zero sets was proved in 1973: :A set ''A'' ⊆ R has strong measure zero if and only if ''A'' + ''M'' ≠ R for every meagre set ''M'' ⊆ R.〔Galvin, F., Mycielski, J., & Solovay, R. M. (1973). Strong measure zero sets. ''Notices of the American Mathematical Society'', 26.〕 This result establishes a connection to the notion of strongly meagre set, defined as follows: :A set ''M'' ⊆ R is strongly meagre if and only if ''A'' + ''M'' ≠ R for every set ''A'' ⊆ R of Lebesgue measure zero. The dual Borel conjecture states that every strongly meagre set is countable. This statement is also independent of ZFC.〔Timothy J. Carlson. Strong measure zero and strongly meager sets. ''Proc. Amer. Math. Soc.'', 118(2):577–586, 1993〕 ==References== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「strong measure zero set」の詳細全文を読む スポンサード リンク
|